Operating Modes Optimization for the Boiler Units of Industrial Steam Plants

Dynamic Optimization for Switching between Operating Modes in Cryogenic Plants

This paper addresses dynamic optimization of a large-scale natural gas processing plant through the formulation of rigorous unit dynamic models. The resulting differential-algebraic equation (DAE) optimization problem is solved with an advanced simultaneous strategy that transforms the original problem into a nonlinear program. Emphasis has been given to detailed thermodynamic and solubility ca...

A Steam - Boiler Control

Proving Safety Properties of the Steam Boiler Controller Formal Methods for Industrial Applications: A Case Study

In this paper we model a hybrid system consisting of a continuous steam boiler and a discrete controller. Our model uses the Lynch-Vaandrager Timed Automata model to show formally that certain safety requirements can be guaranteed under the described assumptions and failure model. We prove incrementally that a simple controller model and a controller model tolerating sensor faults preserve the ...

Simulation of a Steam-Boiler

In this paper, we describe the implementation and usage of a simulation with graphical visualization for a steam-boiler [Abri94]. The simulation imitates the behaviour of the steam-boiler and can be controlled using a simple ASCII protocol. It reacts to defined commands and sends information about its state every five seconds. Furthermore, we describe the options available, the protocol which f...

Streams of Steam – The Steam Boiler Specification Case Study

FOCUS is a mathematics-based methodology for the development of distributed reactive systems. This paper sketches the expressiveness and the usefulness of the well-tuned concepts of FOCUS by its application of the requirements specification of a steam boiler, see [Abr96]. We demonstrate the support for non-specialists in formal methods by using userfriendly description techniques, here the stat...